Failed to solve the following constraints:
  _1 A A = A : Set (blocked on _1)
Unsolved metas at the following locations:
  NonLinearConstraint.agda:7,16-17
  NonLinearConstraint.agda:9,10-14
